2 402 202 книги
Поиск книг
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
#1
Applied proof theory: Proof interpretations and their use in mathematics
Ulrich Kohlenbach
Категория:
Mathematical logic
4.22 Mb
#2
Logic colloquium 2007
Françoise Delon
,
Ulrich Kohlenbach
,
Penelope Maddy
,
Frank Stephan
Категория:
M_Mathematics
,
MA_Algebra
,
MAml_Mathematical logic
1.52 Mb